class Main extends B{} // anypos-error